Supervisory Control of Petri Nets with Uncontrollable/unobservable Transitions Interdisciplinary Studies of Intelligent Systems Supervisory Control of Petri Nets with Uncontrollable/unobservable Transitions
نویسندگان
چکیده
This paper expands upon results of previous research dealing with the supervisory control of Petri net modeled discrete event systems that contain uncontrollable transitions. The concept of unobservable plant transitions is introduced here and incorporated into the controller design procedure. New conditions are developed which govern the existence of controllers for these problems. Two procedures are presented for automatically generating controllers for plants that incorporate uncontrollable and unobservable events.
منابع مشابه
Supervisory Control of Petri Nets with Uncontrollable/unobservable Transitions Interdisciplinary Studies of Intelligent Systems
This paper expands upon results of previous research dealing with the supervisory control of Petri net modeled discrete event systems that contain uncontrollable transitions. It represents the current state of progress, as well as recent results, in an ingoing research project in the area of Petri nets in discrete event system control. The concept of unobservable plant transitions is introduced...
متن کاملSupervisory Control Using Computationally Eecient Linear Techniques: a Tutorial Introduction Interdisciplinary Studies of Intelligent Systems Supervisory Control Using Computationally Eecient Linear Techniques: a Tutorial Introduction
This paper provides an overview of a computationally eecient method for synthesizing supervisory controllers for discrete event systems (DES). The DES plant and controller are described by Petri nets which provide a useful linear algebraic model for both control analysis and synthesis. It is shown how a set of linear constraints on the plant's behavior can be enforced, accounting for possibly u...
متن کاملSoftware Tools for the Supervisory Control of Petri Nets Based on Place Invariants
This document describes a Matlab toolbox for the supervisory control of Petri nets based on place invariants [7, 9]. In what follows we present a detailed description of a number of functions we propose. These are the topics we address: • Solving integer programs • Transformations to admissible marking constraints • Enforcing linear constraints in Petri nets which may have uncontrollable and/or...
متن کاملDeadlock Avoidance in Petri Nets with Uncontrollable Transitions Interdisciplinary Studies of Intelligent Systems Deadlock Avoidance in Petri Nets with Uncontrollable Transitions 1
Recent results in the literature have provided eecient control synthesis techniques for the problem of deadlock avoidance in Petri nets. These results are shown to t within an established framework for the enforcement of linear constraints on the marking behavior of a net. Framing the problem in this way allows uncontrollable transitions to be included in the plant model when deadlock avoidance...
متن کاملPetri Net Supervisors for Des with Uncontrollable and Unobservable Transitions Petri Net Supervisors for Des with Uncontrollable and Unobservable Transitions
A supervisor synthesis technique for Petri net plants with uncontrollable and unobservable transitions that enforces the conjunction of a set of linear inequalities on the reachable markings of the plant is presented. The approach is based on the concept of Petri net place invariants. Each step of the procedure is illustrated through a running example involving the supervision of a robotic asse...
متن کامل